../src/util/bddNode.h